Add association to Goal - has_many :proofs, through: :micro_goals