Which quantity is proportional to 12⁄15?